mint and ubuntu